<html>
<head><meta charset="utf-8"><title>I-prioritize #41078 Confusing type error due to strange inf… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html">I-prioritize #41078 Confusing type error due to strange inf…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="213375773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213375773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213375773">(Oct 15 2020 at 03:06)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/41078">#41078</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="213375777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213375777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213375777">(Oct 15 2020 at 03:06)</a>:</h4>
<p>Perhaps P-medium?</p>



<a name="213376090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213376090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213376090">(Oct 15 2020 at 03:12)</a>:</h4>
<p>wow, people keep running into this</p>



<a name="213376092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213376092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213376092">(Oct 15 2020 at 03:12)</a>:</h4>
<p>same issue I think</p>



<a name="213376107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213376107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213376107">(Oct 15 2020 at 03:12)</a>:</h4>
<p>oh wait this is the original <span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span></p>



<a name="213376120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213376120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213376120">(Oct 15 2020 at 03:13)</a>:</h4>
<p>yeah P-medium seems fine - it's confusing, but there's a workaround</p>



<a name="213408493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213408493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213408493">(Oct 15 2020 at 11:04)</a>:</h4>
<p>I'd argue <code>P-high</code>, if it's tripping up newcomers it's probably hit fairly often.</p>



<a name="213408659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213408659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213408659">(Oct 15 2020 at 11:06)</a>:</h4>
<p>Also to (indirectly) reduce people's workload on commenting on duplicate issues by fixing this.</p>



<a name="213415927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213415927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213415927">(Oct 15 2020 at 12:24)</a>:</h4>
<p>Hmm, fair enough. It doesn't seem like it will be fixed any time soon but I guess that shouldn't affect the prioritization.</p>



<a name="213418586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213418586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213418586">(Oct 15 2020 at 12:46)</a>:</h4>
<p><span class="user-mention" data-user-id="256313">@Hameer Abbasi</span> you make a good point. Although "worth" a medium, I'd vote to assign a <code>P-high</code> and have the team briefly discuss it (I'll try summarizing the issue history  in the agenda)</p>



<a name="213418783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213418783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213418783">(Oct 15 2020 at 12:47)</a>:</h4>
<p>at the very least we have an evaluation about the effort to "fix" or "work around" to improve ergonomics</p>



<a name="213419110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213419110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213419110">(Oct 15 2020 at 12:50)</a>:</h4>
<p>can we instead use I-nominate if you think it's 'worth' a medium?</p>



<a name="213419133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213419133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213419133">(Oct 15 2020 at 12:50)</a>:</h4>
<p>I don't think we should change the priority just so it will be discussed at the weekly meeting</p>



<a name="213419496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213419496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213419496">(Oct 15 2020 at 12:53)</a>:</h4>
<p>In my book there are two things that determine a bug's worth. Severity and frequency. This is a medium on the severity scale but fairly high on the frequency scale.</p>



<a name="213419927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213419927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213419927">(Oct 15 2020 at 12:56)</a>:</h4>
<p>right, and if we mark it P-high for that reason that's fine with me, but it shouldn't be so it's brought up at the weekly meeting, we have <code>I-nominate</code>  for that</p>



<a name="213420051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213420051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213420051">(Oct 15 2020 at 12:57)</a>:</h4>
<p>I agree with Joshua, issue nomination is a better tool to discuss (my bad that I sometimes forget about it <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span> )</p>



<a name="213420254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213420254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hameer Abbasi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213420254">(Oct 15 2020 at 12:59)</a>:</h4>
<p>I agree with <code>I-nominated P-medium</code> too.</p>



<a name="213426030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213426030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213426030">(Oct 15 2020 at 13:36)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/41078">#41078</a>'s prioritization request has been removed.</p>



<a name="213479255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2341078%20Confusing%20type%20error%20due%20to%20strange%20inf%E2%80%A6/near/213479255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2341078.20Confusing.20type.20error.20due.20to.20strange.20inf.E2.80.A6.html#213479255">(Oct 15 2020 at 19:55)</a>:</h4>
<p>The issue wasnt discussed due to time constraints (I added it to the very last minute), so it will slip to next week</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>